Philosophical logic - PDFSEARCH.IO - Document Search Engine

Philosophical logic
Results: 2980

#	Item
801	Wittgenstein: World, Reality and States of Affairs Gerard Casey School of Philosophy University College Dublin Add to Reading List Source URL: www.ucd.ie Language: English - Date: 2014-06-09 05:00:08 Ontology Contemporary philosophy Philosophical logic Tractatus Logico-Philosophicus Bertrand Russell Ludwig Wittgenstein Logical atomism Proposition Reality Philosophy Logic Metaphysics
802	Experiences in the Logical Specification of the HIPAA and GLBA Privacy Laws Henry DeYoung Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Mathematical logic Model theory Privacy Semantics Philosophical logic Health Insurance Portability and Accountability Act Linear temporal logic First-order logic Modal logic Logic Privacy law Ethics
803	doi:j.pragma Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:52 Behavior Pragmatics Philosophy of language Philosophical logic Semantics Deception Cognitive science Speech act Relevance theory Science Communication Philosophy
804	Animal Welfare; what are essential measures to take and how to avoid anthropomorphism Add to Reading List Source URL: www.crb.uu.se Language: English - Date: 2013-09-25 06:04:13 Belief Ethology Animal rights Autonomy Philosophical logic Rationality Intentionality Reason Anthropocentrism Mind Philosophy of mind Cognitive science
805	LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic
806	A Refined Proof Theory for Reasoning About Separation Limin Jia David Walker Princeton University E-mail: {ljia,dpw}@cs.princeton.edu Background. Automated program verification tools Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Philosophical logic Proof theory Logic in computer science Propositional calculus Entailment Sequent Linear logic Monotonicity of entailment Intuitionistic logic Logic Mathematical logic Non-classical logic
807	xDomain: Cross-border Proofs of Access∗ Lujo Bauer§ Limin Jia† Michael K. Reiter‡ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Logic in computer science Type theory Non-classical logic Philosophical logic Model theory First-order logic Modal logic Twelf Logic Mathematical logic Mathematics
808	Modal Proofs As Distributed Programs∗ Limin Jia David Walker Princeton University August 31, 2003 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Propositional calculus Deduction Logic in computer science Philosophical logic Natural deduction Curry–Howard correspondence Sequent calculus Entailment Intuitionistic logic Logic Mathematical logic Proof theory
809	A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-07-10 18:23:49 Mathematical logic Logical syntax Philosophical logic Automated theorem proving Mathematical proof Axiom of choice Theorem First-order logic Conjecture Logic Mathematics Formal systems
810	The Latent Structure of Dictionaries Philippe Vincent-Lamarre1,2, Alexandre Blondin Massé1, Marcos Lopes3, Mélanie Lord1, Odile Marcotte1, Stevan Harnad1,4 1 Université du Québec à Montréal, 2 Université d’Ottaw Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-11-03 20:08:41 Philosophy of language Computational linguistics Philosophical logic Dictionary Symbol grounding Definition Forth Kernel WordNet Linguistics Lexicography Semantics

UPDATE